-
1 valid sentence
Большой англо-русский и русско-английский словарь > valid sentence
-
2 valid sentence
1) Математика: общезначимое высказывание2) Программирование: общезначимое предложение (в логическом программировании) -
3 valid sentence
-
4 valid sentence
Англо-русский словарь по исследованиям и ноу-хау > valid sentence
-
5 logically valid sentence
Математика: логически общезначимое предложениеУниверсальный англо-русский словарь > logically valid sentence
-
6 universally valid sentence
Математика: универсально общезначимое высказываниеУниверсальный англо-русский словарь > universally valid sentence
-
7 logically valid sentence
English-Russian scientific dictionary > logically valid sentence
-
8 universally valid sentence
English-Russian scientific dictionary > universally valid sentence
-
9 logically valid sentence
Англо-русский словарь по исследованиям и ноу-хау > logically valid sentence
-
10 sentence
1) высказывание; предложение; фраза2) суждение•- almost false sentence - almost true sentence - analytically expressible sentence - arithmetically expressible sentence - logically universal sentence - logically valid sentence -
11 общезначимое высказывание
valid sentence мат., valid statementРусско-английский научно-технический словарь Масловского > общезначимое высказывание
-
12 logically
1) логично
2) логически
3) последовательно ∙ logically consistent data ≈ логически непротиворечивые данные logically constructed relation ≈ логически построенное соотношение logically defined class ≈ логически определенный класс logically determinate event ≈ логически определенное событие logically determinate formula ≈ логически определенная формула logically equivalent circuits ≈ логически эквивалентные схемы logically equivalent propositions ≈ логически эквивалентные высказывания logically equivalent statements ≈ логически эквивалентные высказывания logically false expression ≈ логически ложное выражение logically indeterminate event ≈ логически неопределенное событие logically irreducible relation ≈ логически неприводимое соотношение logically necessary hypothesis ≈ логически необходимая гипотеза logically related events ≈ логически связанные события logically true expression ≈ логически истинное выражение logically true sentence ≈ логически истинное предложение logically true statement ≈ логически истинное высказывание logically universal sentence ≈ логически универсальное предложение logically valid formula ≈ логически общезначимая формула logically valid sentence ≈ логически общезначимое предложение - logically absurd - logically complex - logically conclusive - logically consistent - logically contradictory - logically correct - logically defined - logically dependent - logically determinate - logically equivalent - logically exhaustive - logically false - logically imply - logically impossible - logically inconsistent - logically independent - logically indeterminate - logically justifiable - logically necessary - logically true - logically universal - logically valid - multiply logically логично;
логически логически рассуждая - *, one should become wiser with experience but some people never do по логике, нам следовало бы становиться умнее с годами, но некоторым из нас это не удаетсяБольшой англо-русский и русско-английский словарь > logically
-
13 общезначимое высказывание
Большой англо-русский и русско-английский словарь > общезначимое высказывание
-
14 общезначимое высказывание
Mathematics: valid sentence, valid statementУниверсальный русско-английский словарь > общезначимое высказывание
-
15 логически общезначимое предложение
Mathematics: logically valid sentenceУниверсальный русско-английский словарь > логически общезначимое предложение
-
16 общезначимое предложение
Programming: valid sentence (в логическом программировании)Универсальный русско-английский словарь > общезначимое предложение
-
17 универсально общезначимое высказывание
Mathematics: universally valid sentenceУниверсальный русско-английский словарь > универсально общезначимое высказывание
-
18 логически общезначимое предложение
Русско-английский научно-технический словарь Масловского > логически общезначимое предложение
-
19 универсально общезначимое высказывание
Русско-английский научно-технический словарь Масловского > универсально общезначимое высказывание
-
20 bedingt
I Adj.1. conditional; (eingeschränkt) qualified; bedingter Reflex conditioned reflex; bedingt durch conditional (up)on; (abhängig) dependent on, contingent (up)on; es ist psychisch bedingt it’s psychologicalII Adv.1. das ist nur bedingt richtig / gültig etc. this is only partly correct / valid etc.; (in gewissem Sinn) this is only correct / valid in a sense; (bis zu einem gewissen Punkt) this is only correct / valid up to a point2. (unter bestimmten Bedingungen) under certain circumstances; (mit Vorbehalt) with some reservations; bedingt tauglich fit for limited service* * *conditioned; conditional* * *be|dịngt [bə'dɪŋt]1. adj1) (= eingeschränkt) limited; Lob auch qualified2) (= an Bedingung geknüpft) Annahme, Straferlass, Strafaussetzung conditional2. adv1) (= eingeschränkt) partly, partiallybedingt tauglich (Mil) — fit for limited duties
(nur) bedingt richtig — (only) partly or partially valid
(nur) bedingt gelten — to be (only) partly or partially valid
See:→ auch bedingen2) (Sw, Aus) conditionally* * *be·dingtI. adj1. (eingeschränkt) qualified\bedingte Erlaubnis conditional permission2. JUR conditional\bedingte Entlassung suspension of the remainder of the sentence on probation\bedingte Strafaussetzung conditional discharge, [suspension of sentence on] probation\bedingter Straferlass remission of a penalty [or sentence3. MED\bedingte Reaktion conditioned reaction\bedingter Reiz conditioned stimulus4. MATH\bedingte Wahrscheinlichkeit conditional probabilityII. adv1. (eingeschränkt) partly, to some extent\bedingt gültig of limited validitydem kann ich nur \bedingt zustimmen I can only agree with that to a degree3. MATH\bedingt richtig conditionally correct* * *1.Adjektiv conditional; qualified <praise, approval>; s. auch Reflex2.* * *A. adj1. conditional; (eingeschränkt) qualified;bedingter Reflex conditioned reflex;es ist psychisch bedingt it’s psychological2. JUR conditional;bedingter Straferlass suspended sentenceB. adv1.das ist nur bedingt richtig/gültig etc this is only partly correct/valid etc; (in gewissem Sinn) this is only correct/valid in a sense; (bis zu einem gewissen Punkt) this is only correct/valid up to a point2. (unter bestimmten Bedingungen) under certain circumstances; (mit Vorbehalt) with some reservations;bedingt tauglich fit for limited service…bedingt im adj …-related, …-induced* * *1. 2.* * *(durch) ausdr.contingent on (upon) expr. adj.conditional adj.conditioned adj. adv.conditionally adv.
См. также в других словарях:
Number sentence — In mathematics education, a number sentence is typically an equation or inequality expressed using numbers and common symbols. The term is used in primary level mathematics teaching in the US[1], Canada, UK[2], Australia, New Zealand[3] and South … Wikipedia
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
Intuitionistic logic — Intuitionistic logic, or constructive logic, is a symbolic logic system differing from classical logic in its definition of the meaning of a statement being true. In classical logic, all well formed statements are assumed to be either true or… … Wikipedia
Criminal Law Amendment Act, 1997 — Act to make provision for the setting aside of all sentences of death in accordance with law and their substitution by lawful punishments; to amend certain laws so as to repeal provisions relating to capital punishment; to provide for minimum… … Wikipedia
XML Schema Language Comparison — An XML schema is a description of a type of XML document, typically expressed in terms of constraints on the structure and content of documents of that type, above and beyond the basic syntax constraints imposed by XML itself. There are several… … Wikipedia
Compiler construction — is an area of computer science that deals with the theory and practice of developing programming languages and their associated compilers. The theoretical portion is primarily concerned with syntax, grammar and semantics of programming languages … Wikipedia
homicide — ho·mi·cide / hä mə ˌsīd, hō / n [Latin homicidium, from homo human being + caedere to cut, kill] 1: a person who kills another 2: the killing of one human being by another compare manslaughter, murder … Law dictionary
homicide — The killing of a human being under any circumstances by the act, agency, or omission of another. 26 Am J1st Homi § 2. The word is generic and embraces every mode by which the life of one man is taken by the act of another man. It may be lawful,… … Ballentine's law dictionary
Attempto Controlled English — (ACE) is a controlled natural language, i.e. a subset of standard English with a restricted syntax and a restricted semantics described by a small set of construction and interpretation rules [cite conference | author = Norbert E. Fuchs, Kaarel… … Wikipedia
Indian philosophy — Any of the numerous philosophical systems developed on the Indian subcontinent, including both orthodox (astika) systems, namely, the Nyaya, Vaisheshika, Samkhya, Yoga, Mimamsa, and Vedanta schools of philosophy, and unorthodox (nastika) systems … Universalium
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia